formal transformation
英 [ˈfɔːml ˌtrænsfəˈmeɪʃn]
美 [ˈfɔːrml ˌtrænsfərˈmeɪʃn]
网络 正规转换; 形式转换
双语例句
- On the IT side, there is no formal transformation mechanism to convert requirements and their evolving changes into executable structured programs.
在IT方面，没有正式的转换机制将需求及其不断的更改转换为可执行的结构化程序。 - Formal Transformation of Sport News: Another Dimension to Reflect Chinese Sports Development
体育新闻报道形态变迁：理解新中国体育发展历程的一个向度 - Because they have their own stand, their visual experiences about China and the West are not formal repetitions, but a spiritual transformation.
因为拥有了立场，他们面对中西视觉经验，就不再是样式上的重复，而是精神体验上的改造。 - Formal Transformation of Architectural History
建筑历史学的形式转变 - Finally, the application method of LOTOS specification styles in network services and protocol design, the concept of formal structural model and its design approach, the transformation of LOTOS specification to C or C++ are produced.
第四部分：提出了LOTOS规范风格在网络服务和协议设计中的应用方法、形式结构模型的概念及实现方法、渐进细化设计方法、LOTOS规范的C、C++实现方法（第五章）； - From the 18th century age of enlightenment and reason to the formal coming out of the humanities in the 19th century, modern humanism itself has undergone deep transformation, arising from modernization's secularism-consciousness and resulting in the critical judgement of modernization.
从18世纪启蒙理性分裂到19世纪人文科学正式问世，近现代人文主义自身经历了深刻转变，从怂恿现代化的世俗主义意识形态中分裂出批判现代化一翼。 - This paper presents a formal method for programming, which is used to derive programs gradually and formally from given specifications, according to the transformation rules.
本文提出了一个形式化的程序设计方法，即以循环不变式为指导，运用程序变换规则从程序说明逐步地形式化地推争程序。生成的程序对于输入说明和输出说明是正确的。 - The formal definition of abstract data type is presented first, and then the execution strategies, and the valid transformation from abstract data type specified by algebraic axioms into PROLOG.
本文给出ADT的形式定义及语义（执行策略），定义了一个证明系统用以表述执行策略，最后引入一个有效的从ADT到PROLOG的变换规则。 - Finally, the above results are all introduced to the distributed multistation radar track system with non-linear measurement equation based on the formal system. The paper is concluded by discussing the different effects of non-linear transformation on centralized multistation radar system and distributed multistation radar system.
最后，本文把上述结果推广到具有非线性测量方程的分布式多站雷达跟踪系统中去，并讨论了非线性变换对集中式以及分布式多站雷达系统的不同影响。 - This paper presents a formal model of C_ ε dictionary and its object-oriented management model, Which includes internal structure, external structure, transformation relation.
讨论了对发明领域知识体系按合理的规则进行重组的Cε词典，建立了它的形式模型及其面向对象的管理模型，包括其内外部结构及其转换关系等。 - Digestion-based Software Formal Transformation Model
软件需求的形式化转换模型 - As far as the subject is concerned, the structure of the mythological texts is ambiguous, which is embodied as follows: the arbitrariness of the individual case, the abstractness of the structure, the formal antagonism of dual objects and the transformation of the three-element combination.
从本体论分析，神话文本的结构是模糊的，其表现为个案的随意性，结构的抽象性，形式上的二元对立、三项组合、可转换性。 - It leads to the formal large-scale and overall development of China's modernization, and promotes the transformation from traditional society to modern society in China.
它推动了中国现代化的进程，促进了中国传统社会向现代社会的转型。 - The Integral Structure and Formal Transformation of Equilibrium Traffic Model System
交通均衡模型体系的整体结构与形态变换 - VDM is meant to be a systematic approach to the development of large computer software system. This paper discusses its four key points, formal specification, staged implementation based on transformation, justification and abstraction prin-'
VDM是一种系统地开发大型软件的方法，本文讨论这种方法的四要素：形式化的规范说明，基于变换的分阶段系统实现，正确性证明和抽象原理。 - The co-existence of formal and informal financial system is a sub optimal model in China's early stage of transformation, and provides good transition for China economic growth.
非正式金融和正式金融的并行双轨制是中国在转型初期的一种次优模式，为中国的经济增长提供良好的过渡。 - Finally, the formal analysis method is demonstrated by considering a well-known data obfuscating transformation& variable encoding.
最后，以一种典型的数据迷惑变换&变量编码为例，验证了该形式化分析方法的有效性。 - ( 4) The teaching design for formal logical reasoning can be organized through the procedure of information reception → standard representation → relation transformation and restructuring → formal logical expression.
在形式逻辑推理层级的教学设计可按照信息接受→规则化呈现→关系转化和重组→形式逻辑表达的程序组织教学。 - Many researchers believe that the current descriptions of high-level models of MDD are neither complete nor accurate for lacking understandable formal semantic meanings, which makes it difficult to achieve correct model transformations and code generations, and also leads to a very limited evaluation on transformation tools.
但在目前的MDD实现方法中，形式化语义的缺乏使得高层模型的描述还不够完备、精确，难以有效的支持模型转换和代码生成，也不能建立有效的评价和验证机制。